]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7929a2) | patch
overview: Reduce space between window picker and dash
authorJasper St. Pierre <jstpierre@mecheye.net>
Wed, 8 Aug 2012 21:02:35 +0000 (18:02 -0300)
committerJasper St. Pierre <jstpierre@mecheye.net>
Tue, 23 Oct 2012 19:12:45 +0000 (15:12 -0400)
commit3ffeeac577b3cd5d087344106625c5ae8a8341de
treeb4b39cc9c8338058d5d4295aaf30107c2eb46ccbtree | snapshot
parentd7929a2340c7483749d0142277e673686adc3b5acommit | diff
overview: Reduce space between window picker and dash

Do this in a hacky way by hardcoding this, for now. When we land
search rework, we can fix this.

https://bugzilla.gnome.org/show_bug.cgi?id=582650
js/ui/overview.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.